This PR adds a button to the popups that expands them to the full page height. By default, they only occupy up to 50% of the page height. This is particularly useful when reading long proofs. Although scrolling is possible and may still be necessary for some very long proofs, expanding the popup often eliminates the need for it and makes the proof easier to see as a whole.

Minimized State

Expanded State

Thoughts

• The popups are not expanded by default (which would also make this new feature redundant), since many proofs are short and should not distract too much from the rest of the page.
• The expand button does not make much sense for short proofs, and one could argue that it should not be displayed in those cases. However, it is simpler and more consistent to always show it. Any calculation that determines when the button should be displayed would be brittle and probably not worth the effort.
• This change goes in the opposite direction from Extract separate proof length script #238 and Various UI improvements #221. Perhaps long proofs outside of content pages are fine after all. In contrast, creating a content page whose sole purpose is to present a single proof introduces an unnecessary indirection for the user. For example, the proof that the Brauer group functor Br : Fld → Ab is finitary is somewhat long, but it is not worth adding a separate page for it.